strict homotopy

См. также в других словарях:

• List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

• Higher category theory — is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Contents 1 Strict higher categories 2 Weak higher… …   Wikipedia

• Glossary of topology — This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also… …   Wikipedia

• Timeline of category theory and related mathematics — This is a timeline of category theory and related mathematics. By related mathematics is meant first hand * Homological algebra * Homotopical algebra * Topology using categories, especially algebraic topology * Categorical logic * Foundations of… …   Wikipedia

• Matroid — In combinatorics, a branch of mathematics, a matroid (  /ˈmeɪ …   Wikipedia

• Symmetry — For other uses, see Symmetry (disambiguation) …   Wikipedia

• Daniel Biss — Member of the Illinois House of Representatives from the 17th district In office 2011 – Preceded by Elizabeth Coulson Personal details Born August 27, 1977 ( …   Wikipedia

• n-group (category theory) — Not to be confused with p group. In mathematics, an n group, or n dimensional higher group, is a special kind of n category that generalises the concept of group to higher dimensional algebra. Here, n may be any natural number or infinity. The… …   Wikipedia

• Formal group — In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were first defined in 1946 by S. Bochner. The term formal group sometimes means the same as formal group law,… …   Wikipedia

• Smash product — In mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) X and Y is the quotient of the product space X times; Y under the identifications ( x , y 0) sim; ( x 0, y ) for all x isin; X and y… …   Wikipedia

• Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… …   Wikipedia